Crate kind_derive

Utility to derive functions from their definitions.

Modules

• diagnostic
• getters
  Module to derive a “open” function for records.
• matching
  Module to derive a dependent eliminator out of a sum type declaration.
• mutters
  Module to derive mutters for record types
• open
  Module to derive getters function for records.
• setters
  Module to derive setters for record types
• subst